$\mathrm{Start}=1$ $(\mathrm{Ste9}=0)\land (\mathrm{Rum1}=0)\land (\mathrm{Slp1}=0)$ $((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Ste9}=0)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Ste9}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Ste9}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=1)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=1)\land (\mathrm{Ste9}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=1)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Ste9}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))$ $((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Rum1}=0)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Rum1}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Rum1}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=1)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=0)\land (\mathrm{Cdc2\_Cdc13}=1)\land (\mathrm{Rum1}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))\lor ((\mathrm{SK}=1)\land (\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Rum1}=1)\land (\mathrm{Cdc2\_Cdc13\_A}=0)\land (\mathrm{PP}=1))$ $\mathrm{Cdc2\_Cdc13\_A}=1$ $(\mathrm{Ste9}=0)\land (\mathrm{Rum1}=0)\land (\mathrm{Slp1}=0)\land (\mathrm{Wee1\_Mik1}=0)\land (\mathrm{Cdc25}=1)$ $((\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Wee1\_Mik1}=0)\land (\mathrm{PP}=1))\lor ((\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Wee1\_Mik1}=1))\lor ((\mathrm{Cdc2\_Cdc13}=1)\land (\mathrm{Wee1\_Mik1}=1)\land (\mathrm{PP}=1))$ $((\mathrm{Cdc2\_Cdc13}=0)\land (\mathrm{Cdc25}=1)\land (\mathrm{PP}=0))\lor ((\mathrm{Cdc2\_Cdc13}=1)\land (\mathrm{Cdc25}=0)\land (\mathrm{PP}=0))\lor ((\mathrm{Cdc2\_Cdc13}=1)\land (\mathrm{Cdc25}=1))$ $\mathrm{Slp1}=1$